Design specification - PDFSEARCH.IO - Document Search Engine

Design specification
Results: 860

#	Item
251	ACSL: ANSI C Specification Language Preliminary design (version 1.2, March 4, 2008) Patrick Baudin1 , Jean-Christophe Filliâtre4,3 , Claude Marché3,4 , Benjamin Monate1 , Yannick Moy2,4,3 , Virgile Prevosto1 1 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:01 Java Modeling Language Java platform Procedural programming languages Program analysis Frama-C KeY Programming language C SQL Computing Software engineering Software
252	BSc (Hons) Computer Aided Product Design Programme Specification Primary Purpose: Course management, monitoring and quality assurance. Add to Reading List Source URL: psd.docstore.port.ac.uk Language: English - Date: 2014-11-18 10:20:19 Evaluation methods Formative assessment Quality Assurance Agency for Higher Education Key Skills Qualification E-learning Employability Assessment for Learning Mackintosh School of Architecture Education Evaluation Educational psychology
253	TSDIS LEVEL 1 SOFTWARE DESIGN SPECIFICATION Add to Reading List Source URL: pps.gsfc.nasa.gov Language: English - Date: 2012-04-02 17:24:54 Astrodynamics Japanese space program Tropical Rainfall Measuring Mission Orientation Attitude control Flight dynamics Special sensor microwave/imager Matrix Orbit Spaceflight Space Celestial mechanics
254	How Long Should a Task Take? Identifying Specification Limits for Task Times in Usability Tests Jeff Sauro Erika Kindlund Add to Reading List Source URL: www.measuringu.com Language: English - Date: 2011-08-26 19:26:15 Humanâ€“computer interaction Design Technology Systems psychology Software testing Human factors Contextual inquiry User interface Specification Usability Human–computer interaction Technical communication
255	Microsoft Word - VDML Submitted[removed]docx Add to Reading List Source URL: neffics.eu Language: English - Date: 2013-07-16 04:02:33 Computing Model-driven architecture Object Management Group XML Metadata Interchange Systems Modeling Language Specification Common Object Request Broker Architecture Common Warehouse Metamodel Architecture-driven modernization Unified Modeling Language Software engineering Software design
256	‘14 SpecWave Composer BIM/DESIGN NEW PRODUCT Add to Reading List Source URL: ftp2.bentley.com Language: English - Date: 2014-04-30 06:07:36 ProjectWise Business Bentley Systems Technology Specification Software Project management software Content management systems
257	Design Technology Integration Using Si2 Standards IBM/ISDA Technology Development Jim Culp, Mike Limanni, Angela Johnson Marco Facchini, Robert Sayah Add to Reading List Source URL: www.gsaglobal.org Language: English - Date: 2014-01-22 10:45:24 Technology Management Form Standards Open standard Specification
258	NATSPEC TECHreport October 2008 Information classification systems and the Australian construction Add to Reading List Source URL: bim.natspec.org Language: English - Date: 2013-02-24 19:55:22 Real estate Building information modeling Computer-aided design Common Arrangement of Work Sections Uniclass Industry Foundation Classes Construction Specifications Institute Specification Dewey Decimal Classification Construction Architecture Civil engineering
259	SDL FORUM 2015 Specification and Design Languages in the Context of Smart City 17th International Specification and Design Languages Forum October 12th–14th Berlin, Germany Add to Reading List Source URL: www.pragmadev.com Language: English - Date: 2015-03-27 10:45:51 Specification and Description Language Software Modeling language Institute of technology Software development methodology Message Sequence Chart Diagrams Software development Education
260	Towards a Fully Verified File System Sidney Amani, Leonid Ryzhyk, Toby Murray Proving the functional correctness of a realistic file system implementation Motivation Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:43 Decomposition Software design Formal specification Technology Correctness Specification Verification Formal verification Formal methods Theoretical computer science Applied mathematics

UPDATE